Software flow control

Results: 1051



#Item
171Computer programming / Control flow / Loop optimization / Vectorization / Loop invariant / Infinite loop / For loop / SIMD / Parallel computing / Computing / Software engineering / Compiler optimizations

From Relational Verification to SIMD Loop Synthesis Gilles Barthe1 Juan Manuel Crespo1 Sumit Gulwani2

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2013-01-13 01:49:04
172Subroutines / Continuations / Control flow / Stack / Coroutine / Call-with-current-continuation / 2CC / Call stack / Software engineering / Computer programming / Computing

BRICS Basic Research in Computer Science BRICS RSO. Danvy: Formalizing Implementation Strategies for First-Class Continuations Formalizing Implementation Strategies for

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2003-04-03 02:29:20
173Subroutines / Control flow / Recursion / Cross-platform software / Scripting languages / Call stack / Tail call / Continuation / Stack / Software engineering / Computing / Computer programming

Implementing Continuation Marks in JavaScript John Clements Ayswarya Sundaram David Herman

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2012-08-10 19:21:32
174Models of computation / Logic in computer science / Programming language semantics / Compiler construction / Programming language implementation / Data-flow analysis / Denotational semantics / Assembly language / Control flow graph / Theoretical computer science / Computing / Software engineering

Symbolic Interpretation of Legacy Assembly Language Jacques Carette, Pulak Kumar Chowdhury Dept. of Computing and Software McMaster University Hamilton, Ontario L8S 4K1 Abstract

Add to Reading List

Source URL: www.cas.mcmaster.ca

Language: English - Date: 2005-11-14 17:37:09
175Procedural programming languages / Python / Control flow / C / Regular expression / ALGOL 68 / Software bug / Source lines of code / Variable / Software engineering / Computing / Computer programming

An Experiment on the Cognitive Complexity of Code Michael Hansen () School of Informatics and Computing, 2719 E. 10th Street Bloomington, INUSA Robert L. Goldstone ()

Add to Reading List

Source URL: www.indiana.edu

Language: English - Date: 2014-02-11 17:08:34
176Lambda calculus / Continuations / Functional programming / Control flow / Data types / Delimited continuation / Call-with-current-continuation / Continuation / Fixed-point combinator / Software engineering / Computing / Computer programming

An Implementation of Transparent Migration on Standard Scheme Eijiro Sumii University of Tokyo

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:10
177Source code / Scripting languages / Python / Control flow / Comment / Env / String literal / Variable / Conditional / Computing / Computer programming / Software engineering

PYTHON BASIC SYNTAX http://www.tuto rialspo int.co m/pytho n/pytho n_basic_syntax.htm Co pyrig ht © tuto rials po int.co m T he Python lang uag e has many similarities to Perl, C and Java. However, there are some defin

Add to Reading List

Source URL: www.tutorialspoint.com

Language: English - Date: 2014-05-24 08:46:33
178Control flow / Object-oriented programming / Exception handling / Finalizer / Java / Fault injection / Stack / Software bug / Call stack / Software engineering / Computing / Computer programming

Finding and Preventing Run-Time Error Handling Mistakes Westley Weimer George C. Necula University of California, Berkeley

Add to Reading List

Source URL: www.eecs.berkeley.edu

Language: English - Date: 2010-10-29 12:59:20
179Subroutines / Functional languages / Continuations / Functional programming / Continuation / Control flow / Call-with-current-continuation / Scheme / Futures and promises / Software engineering / Computing / Computer programming

How to Add Threads to a Sequential Language Without Getting Tangled Up Michael Sperber∗ Martin Gasbichler Eric Knauel

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:30
180Computer buses / Out-of-band management / Serial port / Data transmission / RS-232 / Parallel port / Flow control / D-subminiature / Software flow control / Computer hardware / Computing / OSI protocols

Porter Code Activated Switch Four or eight ports Serial or parallel Configuration menu Broadcast mode

Add to Reading List

Source URL: www.rose.com

Language: English - Date: 2014-03-03 08:39:03
UPDATE